remove the "child-spacing" style property again and add "inner-border"
authorMichael Natterer <mitch@imendio.com>
Tue, 17 Jan 2006 15:49:18 +0000 (15:49 +0000)
committerMichael Natterer <mitch@src.gnome.org>
Tue, 17 Jan 2006 15:49:18 +0000 (15:49 +0000)
commitfbcf58822770093dcd7210c513a83943e8a645fa
treeafbfdb43edabf80b3b043ba359f45f0f8ff5a7dc
parent4f1690df534cdbbaa7110616a51b70c222601583
remove the "child-spacing" style property again and add "inner-border"

2006-01-17  Michael Natterer  <mitch@imendio.com>

* gtk/gtkbutton.c: remove the "child-spacing" style property again
and add "inner-border" instead. That's far more flexible and
"child-spacing" was a bad name anyway.
ChangeLog
ChangeLog.pre-2-10
gtk/gtkbutton.c